Non-deterministic ideal operators: An adequate tool for formalization in Data Bases
نویسندگان
چکیده
منابع مشابه
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases
In this paper, we propose the application of formal methods to Software Engineering. The most used data model is the relational model and we present, within the general framework of lattice theory, this analysis of functional dependencies. For this reason, we characterize the concept of f -family by means of a new concept which we call non-deterministic ideal operator (nd.ideal-o). The study of...
متن کاملAdequate formalization
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of inf...
متن کاملIs Hesaabdaaree an Adequate Equivalent for Accounting?
Some of the difficulties and misunderstandings that happen in accounting theory, practice, regulation and education are grounded in language and linguistics. As an illustration of this the Persian equivalent of 'accounting' is linguistically analysed to reveal how a mistranslation may cause difficulties in understanding and improving Iranian Accounting. This paper shows how Hesaabdaaree is not ...
متن کاملGeneralizations of lattices via non-deterministic operators
Benado (Čehoslovak.Mat. Ž. 79(4) (1954) 105–129) and later Hansen (DiscreteMath. 33(1) (1981) 99–101) have offered an algebraic characterization of multilattice (i.e., a poset where every pair of elements satisfies that any upper bound is greater than or equal to a minimal upper bound, and also satisfies the dual property). To that end, they introduce two algebraic operators that are a generali...
متن کاملFormalization of Mutation Operators
Software testing is a significant phase in any software development lifecycle irrespective of the type of software being developed. The main goal of software testing phase is to minimize the software faults in a system and increase its reliability. A software fault is an unintended mistake that causes failure of the system or any system component. Therefore, it is vital that the system is teste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 2008
ISSN: 0166-218X
DOI: 10.1016/j.dam.2007.02.014